
#include "config.h"

/*
|--------------------------------------------------------------------------------------------------|
|                     |i|f|s|s|a|u|b|              |                         |                      | 
| kernel(code + data) |r|i|v|y|b|n|u| TLB_BASE     | reserved area           |   free pages         |                                                        
|                     |q|q|c|s|t|d|f|              |                         |                      | 
|                     |   stack   |f|              |                         |                      |
|--------------------------------------------------------------------------------------- ----------|
|0x80000000           | | | | | | | 0x80c00000      
|                     | | | | | | 0x80b00000 
                      | | | | | 0x80a00000
                      | | | | 0x80900000
                      | | | 0x80800000
                      | | 0x80700000
                      | 0x80600000
                      0x80500000
*/

unsigned long get_phy_memory_size(void)
{
    return PHY_MEM_SIZE;
}
